TAGs: Solve by substitution